Fachbereich Informatik

نویسندگان

Heiko Krumm

Arnulf Mester

چکیده

Major steps of the design of distributed applications correspond to the integration of prede ned patterns. To support such design steps, a concept for re nement by pattern composition is introduced which applies formal process composition and provides functions for the tool assisted construction and modi cation of speci cations. The approach is based on L. Lamport's Temporal Logic of Actions TLA and the related theory of re nement mappings and system composition.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Datenbanken und Informationssysteme

Organisatorische Zugehörigkeit Ich gehörte zunächst zum Fachbereich Elektrotechnik, Fakultät für Maschinenbau und Elektrotechnik. Anläßlich der Zusammenführung der Informatik wurde ich Mitglied des Instituts für Theoretische und Praktische Informatik (1978) im Fachbereich Mathematik und Informatik. Wenig später wurde dieses Institut in kleinere Einheiten aufgeteilt, und mein Arbeitsbereich wurd...

متن کامل

GermanTeam 2007 The German National RoboCup Team

1 Deutsches Forschungszentrum für Künstliche Intelligenz, Safe and Secure Cognitive Systems, Robert-Hooke-Str. 5, 28359 Bremen, Germany 2 Fachgebiet Simulation und Systemoptimierung, Fachbereich Informatik, Technische Universität Darmstadt, Hochschulstraße 10, 64289 Darmstadt, Germany 3 Institut für Informatik, LFG Künstliche Intelligenz, Humboldt-Universität zu Berlin, Rudower Chaussee 25, 124...

متن کامل

Modellierung und Abwicklung von Datenflüssen in unternehmensübergreifenden Prozessen

Markus Bon Norbert Ritter Hans-Peter Steiert AG DBIS Fachbereich Informatik Universität Kaiserslautern Postfach 3049 D-67653 Kaiserslautern [email protected] Arbeitsbereich VSIS Fachbereich Informatik Universität Hamburg Vogt-Kölln-Strasse 30 D-22527 Hamburg [email protected] Research &Technology RIC/ED DaimlerChrysler AG Postfach 2360 D-89013 Ulm hans-peter.steiert@daimle...

متن کامل

Einsatz von neuen Medien an der FernUniversität Hagen

Der Fachbereich Informatik der FernUniversität/GH Hagen betreut zur Zeit ca. 7500 Studierende, die durch schriftliche Kurse und Präsenzkurse erreicht werden. Daneben ergänzen audio-visuelle Medien und die virtuelle Universität das Lehrangebot. Es gibt 8 Lehrstühle für praktische Informatik, 2 Lehrstühle für theoretische Informatik und 2 Lehrstühle für technische Informatik. Die Durchführung der...

متن کامل

Stability Conditions for the BMAP/G/1 Queue with Level Dependent Arrivals

Electronic copies of technical reports are available: Via FTP: URL ftp://ftp.informatik.uni-trier.de/pub/Users-Root/reports Via WWW: URL http://www.informatik.uni-trier.de/Reports/Current.html Via email: Send a mail to [email protected], subject ’HELP’, for detailed instructions Printed copies: Trierer Forschungsberichte Fachbereich IV Mathematik / Informatik Universitat Trier ..

متن کامل